A Logical Formulation for Negotiation among Dishonest Agents
نویسندگان
چکیده
The paper introduces a logical framework for negotiation among (dis)honest agents. The framework relies on the use of abductive logic programming as a knowledge representation language for agents to deal with incomplete information and preferences. The paper shows how intentionally false or inaccurate information of agents could be encoded in the agents’ knowledge bases. Such disinformation can be effectively used in the process of negotiation to have desired outcomes by agents. The negotiation processes is formulated under the answer set semantics of abductive logic programming and enables the exploration of various strategies that agents can employ in their negotiation.
منابع مشابه
A Formalizing Negotiations Using Logic Programming
The paper introduces a logical framework for negotiation among dishonest agents. The framework relies on the use of abductive logic programming as a knowledge representation language for agents to deal with incomplete information and preferences. The paper shows how intentionally false or inaccurate information of agents can be encoded in the agents’ knowledge bases. Such disinformation can be ...
متن کاملReaching agreements through argumentation: (Preliminary Report)*
In a multi-agent environment, where selfmotivated (selfish) agents try to pursue their own goals, cooperation can not be taken for granted. Cooperation must be planned for and achieved through communication and negotiation. We look at argumentation as a mechanism for achieving cooperation and agreement. Using categories identified from human multiagent negotiation, we present a basis for an axi...
متن کاملReaching Agreements Through Argumentation: A Logical Model and Implementation
In a multi-agent environment, where self-motivated agents try to pursue their own goals, cooperation cannot be taken for granted. Cooperation must be planned for and achieved through communication and negotiation. We present a logical model of the mental states of the agents based on a representation of their beliefs, desires, intentions, and goals. We present argument&on as an iterative proces...
متن کاملASP-Prolog for Negotiation among Dishonest Agents
This paper describes a platform to develop negotiating agents, whose knowledge and rules of behavior are represented as Abductive Logic Programs. The platform implements a flexible negotiation framework. Negotiating agents can operate with multiple goals and incomplete knowledge, and dynamically modify their goals depending on the progress of the negotiation exchanges. Differently from other fr...
متن کاملLogical Systems: Towards Protocols for Web-Based Meaning Negotiation
Our thesis is that before Web-based agents can negotiate meanings, they need to agree on high-level protocols based on logical systems. The Semantic Web community is setting the stage for semantic interoperability among Web-based software agents by developing standard languages with well-defined semantics. But exactly how these languages might be used to negotiate meanings is an open question. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011